$\forall$$a$, $b$:$\mathbb{Z}$, $E$, $F$:(\{$a$..$b$$^{-}$\}$\rightarrow\mathbb{Q}$).
\\[0ex]($\forall$$j$:$\mathbb{Z}$. ($a$ $\leq$ $j$) $\Rightarrow$ ($j$ $<$ $b$) $\Rightarrow$ $E$($j$) $\leq$ $F$($j$)) $\Rightarrow$ $\Sigma$$a$ $\leq$ $j$ $<$ $b$. $E$($j$) $\leq$ $\Sigma$$a$ $\leq$ $j$ $<$ $b$. $F$($j$)